Design > Well-formedness > Dataflows


ERROR DWF_DF_01 - A duplicate or a split function must have only one incoming exchange
This rule checks that a duplicate or a split function have only one incoming exchange.


ERROR DWF_DF_02 - A gather function must have only one outgoing exchange
This rule checks that a gather function must have only one outgoing exchange.


WARNING DWF_DF_03 - Functional chain check
This rule checks that a FunctionalChain is valid.


WARNING DWF_DF_04 - Functional chain involvement check 1
This rule checks that a Functional Chain Involvement only involves an Abstract Function, a Functional Exchange or a Functional Chain.


WARNING DWF_DF_05 - Functional chain involved functions active in state
This check ensures that all the functions involved in FunctionalChain are also active in modes and states as FunctionChain.


WARNING DWF_DF_06 - Functional Exchange location check
This rule ensures that Functional Exchange is located in the common ancestor between its source/target elements.


ERROR DWF_DF_12 - A duplicate, a gather, a route, a select or a split function must be a leaf function
This rule check that a duplicate, a gather, a route, a select or a split function must be a leaf function.


ERROR DWF_DF_14 - Functional chain involvement allocated exchange items
This rule ensures that a functional chain involvement does not allocate exchange items which are not allocated by involved functional exchange.


WARNING DWF_DF_15 - SequenceLinks between the referenced Involvement Functions/OperationalActivities have no Involvement Links referencing them
This check ensures that SequenceLinks between the referenced Involvement Functions have Involvement Links referencing them.


WARNING DWF_DF_16 - SequenceLink has empty condition
This rule checks if there is an empty condition on the SequenceLink.


WARNING DWF_DF_17 - SequenceLink between two adjacent Control Nodes without a FunctionalChainInvolvementFunction
This rule checks if there is a Sequence Link between two adjacent ControlNodes without a FunctionalChainInvolvementFunction.


WARNING DWF_DF_18 - SequenceLink with no associated FunctionalChainInvolvementLinks
This rule checks if a SequenceLink has associated FunctionalChainInvolvementLinks.


ERROR DWF_DF_19 - SequenceLink with inconsistent associated FunctionalChainInvolvementLinks
This rule checks if a SequenceLink has inconsistent associated FunctionalChainInvolvementLinks.


ERROR DWF_DF_20 - SequenceLink between the referenced Involvement Functions/OperationalActivities is in opposite direction to Involvement Links referencing them
This rule checks if a SequenceLink between the referenced Involvement Functions/OperationalActivities is in opposite direction to a Involvement Links referencing them.


WARNING DWF_DF_21 - Control Nodes inconsistent operations
This rule checks the ControlNode construction inconsistencies. A ControlNode is valid if it has one IN and two OUT links or two IN and one OUT link.